package tr.edu.ege.kipler.satisfiability.container.creational;

import tr.edu.ege.kipler.satisfiability.clash.ALCQClashDetectionStrategy;
import tr.edu.ege.kipler.satisfiability.container.ABox;
import tr.edu.ege.kipler.satisfiability.container.PBox;
import tr.edu.ege.kipler.satisfiability.container.RBox;
import tr.edu.ege.kipler.satisfiability.container.SHIQABox;
import tr.edu.ege.kipler.satisfiability.container.TBox;
import tr.edu.ege.kipler.satisfiability.container.operational.ClashDetectionObserver;

/**
 * 
 * @author İnanç Seylan
 *
 */
public class SHQBoxFactory extends BoxFactory {

	public ABox createABox() {
		SHIQABox result = new SHIQABox();
		result.addObserver(new ClashDetectionObserver(
				new ALCQClashDetectionStrategy()));
		return result;
	}

	public PBox createPBox() {
		return new PBox();
	}

	public RBox createRBox() {
		return new RBox();
	}

	public TBox createTBox() {
		return new TBox();
	}

}
